Wordnet polsko-angielski

(an operation that follows the rules of symbolic logic)
logic operation, logical operation